in an Olympic swimming pool